Nuprl Definition : bxor 12,41
p b q == (p  (q)) ((p)  q) 
latex

Definitionsp q, p  q, b
FDL editor aliasesbxor

origin